Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
961	The Program-Size Complexity of Self-Assembled Squares [Extended Abstract, Feb. 23, 2000] Paul W. K. Rothemund Erik Winfree Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:14 Tiling Combinatorics Integer sequences Theory of computation Wang tile Tile Tessellation L-system Combinatory logic Mathematics Visual arts Mosaic
962	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
963	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer science Proof theory Models of computation Computability theory Natural deduction Simply typed lambda calculus Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematical logic Lambda calculus
964	Microsoft Word - JOC24-3-2.doc Add to Reading List Source URL: www.csroc.org.tw Language: English - Date: 2014-05-27 10:49:49 Theoretical computer science Computer science Software engineering Formal languages String searching algorithm Deterministic finite automaton Boyer–Moore–Horspool algorithm Finite-state machine Aho–Corasick string matching algorithm Automata theory Models of computation String matching algorithms
965	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods
966	Selection of examples in case-based computer-aided decision systems Add to Reading List Source URL: railabs.duhs.duke.edu Language: English - Date: 2010-04-13 14:38:36 Cybernetics Genetic algorithm Mathematical optimization Algorithm Content-based image retrieval Mutation Evolutionary computation Case-based reasoning Computational complexity theory Artificial intelligence Science Applied mathematics
967	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-10-27 06:39:41 Computability theory Formal methods Models of computation Theory of computation Algorithm Mathematical logic Turing machine Algorithm characterizations Theoretical computer science Applied mathematics Mathematics
968	Competition among memes in a world with limited attention SUBJECT AREAS: INFORMATION THEORY AND COMPUTATION STATISTICAL PHYSICS, Add to Reading List Source URL: www.nature.com Language: English - Date: 2013-08-02 05:10:46 Collective intelligence Cultural anthropology Social media Philosophy of mind Web 2.0 Meme Internet meme Twitter Long Tail Information Cognition Science
969	The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL Chitta Baral1 , Marcos Alvarez Gonzalez1 , and Aaron Gottesman1 School of Computing, Inf Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 21:47:51 Mathematical logic Type theory Logic in computer science Theory of computation Predicate logic Combinatory logic Simply typed lambda calculus Type constructor First-order logic Theoretical computer science Lambda calculus Mathematics
970	Advancing Science Through Computation I knock at the stone’s front door. “It’s only me, let me come in. I’ve come out of pure curiosity. Only life can quench it. Add to Reading List Source URL: www.iccs-meeting.org Language: English - Date: 2014-05-22 09:33:06 Algorithmic Number Theory Symposium Mathematics Academia AGH University of Science and Technology Computer Science ICCS

UPDATE